A Trusted, Scalable, Real-Time Operating System Environment
نویسنده
چکیده
The Open Software Foundation (OSF) Research Institute (RI) is developing a series of operating systems prototypes with the purpose of extending the capabilities of commercial operating systems. The initial goal is to develop a trusted, scalable, real-time operating system environment. Some projects are complete and have been incorporated into commercial operating systems. Current projects focus on performance, scalability, trust, and real-time.
منابع مشابه
High Availability RTOS for Complex, Distributed Systems
Enea OSE® is a compact, robust, high-performance real-time operating system optimized for distributed, fault-tolerant multi-processor systems requiring true deterministic real-time behavior and “five nines” or higher availability. Utilizing a modular, scalable, microkernel architecture, Enea OSE shortens development time, enhances reliability and reduces life time maintenance costs for a wide r...
متن کاملxLuna: a Real-Time, Dependable Kernel for Embedded Systems
While the GNU/Linux Operating System (OS) is gaining popularity in research and student communities as well as in the business world, its impact is still limited in all those application areas requiring hard real-time capabilities, extreme robustness and a minimal trusted computing base. In this paper we present a software architecture featuring a portable user-mode version of Linux which runs ...
متن کاملProperty Attestation—Scalable and Privacy-friendly Security Assessment of Peer Computers
A core security challenge is the integrity verification of the software that is executed on a machine. For example, an enterprise needs to know whether a gateway machine has been infected by malicious code. One prevailing approach is to use directories of configuration check-sums to detect when a configuration has been changed (see www.tripwire.org). These software-only solutions have limitatio...
متن کاملETTM: A Scalable Network Operating System
In this paper, we design, implement, and evaluate a new scalable and fault tolerant network operating system, called ETTM, for securely and efficiently managing network resources at a packet granularity. Our aim is to provide network administrators a greater degree of control over network behavior at lower cost, and network users a greater degree of performance, reliability, and flexibility, th...
متن کاملRelative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational legacy system the challenge is usually to compare the behaviour of a proposed new system against an old trusted one. Doing this for time-sensitive control systems is awkward because the behaviour of the system is dependen...
متن کامل